OpenAI announced on July 10 that its GPT-5.6 Sol Ultra model generated a complete proof of the 50-year-old Cycle Double Cover Conjecture in under one hour using 64 parallel subagents. Mathematician Th…
OpenAI's GPT-5.6 Sol Ultra solved the 50-year-old Cycle Double Cover Conjecture in under an hour using 64 parallel subagents, sparking debate over whether AI can achieve genuine creativity or merely r…
OpenAI's GPT-5.6 Sol Ultra produced a proof of the 50-year-old Cycle Double Cover Conjecture in under an hour using 64 parallel subagents, though mathematician Thomas Bloom criticized the lack of cita…
OpenAI announced in May that an internal model disproved Erdős's planar unit-distance conjecture, a problem unsolved since 1946, with the result verified by nine mathematicians including Thomas Bloom.…